PARES – A Model for Parallel Recursive Programs
نویسنده
چکیده
PowerList, ParList, and PList theories and their multidimensional extensions PowerArray, ParArray, and PArray are well suited to express recursive, data-parallel algorithms. Their abstractness is very high and assures simple and correct design of parallel programs. Base on these theories we define a model of parallel computation with a very high level of abstraction – PARES (Parallel Recursive Structures). A model of parallel computation, to be useful must address the following set of requirements: abstractness, software development methodology, architecture independence, cost measures, no preferred scale of granularity, efficiently implementable. We show in this paper that all these requirements are fulfilled for the proposed model. Key-words: parallel programming, model, data-structures, divide&conquer, recursion.
منابع مشابه
A real-time recursive dynamic model for vehicle driving simulators
This paper presents the Real-Time Recursive Dynamics (RTRD) model that is developed for driving simulators. The model could be implemented in the Driving Simulator. The RTRD can also be used for off-line high-speed dynamics analysis, compared with commercial multibody dynamics codes, to speed up mechanical design process. An overview of RTRD is presented in the paper. Basic models for specific ...
متن کاملAnalysis of Parallelism in Recursive Functions on Recursive Data Structures
In functional languages, iterative operations on data collections are naturally expressed using recursive functions on recursive data structures. In this paper, we present a method to extract data parallelism from recursive functions and generate data parallel programs. As the parallel model for object programs, we use polytypic parallel skeletons. This model can express data parallel operation...
متن کاملDealing with Communication for Dynamic Multithreaded Recursive Programs
This paper presents a new contribution to the model-checking of multithreaded programs with recursive procedure calls, result passing between recursive procedures, dynamic creation of parallel processes, and synchronisation between parallel threads. To represent such programs accurately, we define the model SPAD that can be seen as the extension with synchronisation of the class PAD (the subcla...
متن کاملA model for recursive-parallel programs
We deene a formal model for a class of recursive-parallel systems with speciic invocation and synchronization primitives. This original model is innnite-state but can still be analyzed successfully using the \well-structured transition systems" approach.
متن کاملar X iv : 1 01 2 . 29 98 v 1 [ cs . P L ] 1 4 D ec 2 01 0 On Probabilistic Parallel Programs with Process
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown systems (a model for sequential probabilistic procedural programs which is equivalent to recursive Markov chains) and stochastic branching processes ...
متن کامل